derivative of x 1